w\_locl($w$;$x$;$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$ $\lambda$$x$,$y$. ($\neg$($\uparrow$first($y$))) c$\wedge$ ($x$ = pred($y$))\^{}+ $y$